row polymorphism
列多相
行多相という説もある
PureScript
にある
OCaml
にもあるらしい
レコード多相
と何が違う?